More from this Author
Found 3 books by Marcello Bonsangue (Editor)
Formal Methods for Components and Objects
by Frank S. de Boer (Editor), Marcello Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
It's All about Coordination
by Frank de Boer (Editor), Marcello Bonsangue (Editor), Jan Rutten (Editor)
Theory and Practice of Formal Methods
by Erika Ábrahám (Editor), Marcello Bonsangue (Editor), Einar Broch Johnsen (Editor)